доказательство (...) расположено в виде ряда семи лемм

Mathematics: the proof of (Theorem 2 .1) is arranged as a series of seven Lemmas